一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

λ-粗模糊集的分解

在模糊等价关系的基础上建立了λ-等价类和给出了λ-粗集的一般形式,根据等价关系R~强λ-截集的定义给出了强λ-等价类的定义和λ-强粗集的形式;然后根据模糊集与普通集合的分解定理,给出λ-粗模糊集的分解定理的几种形式;最后由λ-粗模糊集的分解定理可以求出R~-粗模糊集,并给出了R~-粗模糊集的几种表示形式。     

一类椭圆型方程的多重解

利用极小极大方法获得了一类Dirichlet问题多重解的存在性结果.     

MTL代数的特征定理

对于逻辑系统代数结构的研究,是一个十分重要的研究课题.近期提出的BL代数,R_0代数,MTL代数就是这个方向具有代表性的研究成果.本文讨论MTL代数的性质与结构,给出这种代数的几个特征定理,澄清这种代数与其它代数结构的关系.鉴于单位区间中由左连续t-范数诱导的剩余蕴涵与MTL代数的紧密联系,本文还考察了这种模糊蕴涵的特征性质.     

X波段介质和金属膜片混合加载行波加速结构的传播特性计算及模型腔的有关研究

计算了X波段(f=9.37GHz)介质和金属膜片混合加载行波加速结构的TM₀₁模和HEM₁₁模的色散曲线, 结果表明HEM₁₁模的截止频率比TM₀₁模的低, 说明与盘荷波导相比, 该种新加速结构单束团的BBU效应得到改善.实验研究优选得到了适用于该种新加速结构的介质(ε_r=5.812). 采用MAFIA程序优化设计了模型腔, 测试频率与设计的数值吻合得很好.     

BEPCⅡ直线加速器重大改造和束流调试进展

BEPCⅡ直线加速器的重大改造旨在获得高流强、小发射度和小能散的正负电子束, 以满足对撞机亮度提高两个两级的要求. 这对直线加速器各系统和束流物理是一个挑战. 文章介绍了直接决定束流性能的新电子源、新正电子源、新微波功率源、相位控制系统和束流测量系统等的改造情况; 叙述了束流物理研究; 介绍了束流调试进展情况和进一步改进计划.     

YLiF4: Er3+, Tm3+, Yb3+中Tm3+浓度对上转换发光的影响

利用水热法合成了YLiF4: Er3 , Tm3 , Yb3 , 其中Er3 和Yb3 的浓度保持固定不变, 分别为1 mol%和1.5 mol%, Tm3 浓度变化范围是2 mol%～8 mol%. 在这种共掺杂体系中, 同时观察到了Er3 , Tm3 和Yb3 的吸收, 且Tm3 的吸收随着其浓度的增强而增强. 在980 nm光的激发下, 当Tm3 浓度很小时, 这种材料的上转换发光为白光. 其中蓝光主要来源于Tm3 的激发态1G4到基态3H6的跃迁, 绿光来源于Er3 的4S3/2和2H11/2到基态4I15/2的跃迁, 红光既来源于Tm3 的1G4→3F4的跃迁, 也来源于Er3 的4F9/2→4I15/2的跃迁. 并且这种上转换发光强度随着Tm3 浓度的增强而降低, 但对应不同能级跃迁的发光强度降低的幅度不同, 这是因为Er3 和Tm3 之间的相互作用.     

单谐振腔外部Q值的计算方法

 通过对带有耦合器的单驻波腔进行等效电路分析，推导出可计算带有耦合波导的单谐振腔外部Q值的反射相位法，该方法通过计算不同频率的反射相位来确定谐振频率和外部Q值。详细叙述了在CST Microwave Studio中用谐振模式求解法、直接时域跟踪法和反射相位法进行计算的步骤；用这3种方法分别计算了二次发射微波电子枪的外部Q值并和实验测量结果做了比较。结果显示3种计算方法都有很高的精度,但反射相位法的速度最快，耗时1 071 s。计算发现外部Q值与耦合口长度的4.1次方成反比。     

最优带仲裁认证码

本文研究带仲裁认证码（亦称A^2-码）。一个A^2-码，当它的欺骗攻击成功概率达到信息论下界且密钥长度也达到最小时称为是最优的。本文给出最优A^2-码的组合结构的特征，从而将构造最优A^2-码的问题归结为构造相应的一类组合设计的问题。